Formal techniques in real-time and fault-tolerant systems - proceedings of a symposium, Warwick, UK, September 22-23, 1988
- Författare
- (M. Joseph (ed.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1988 | Tyskland, Berlin, New York | vi, 229 sidor. ill. |